Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
41	The Modelling and Analysis of Security Protocols: the CSP Approach P.Y.A. Ryan, S.A. Schneider, M.H. Goldsmith, G. Lowe and A.W. Roscoe Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2010-12-15 14:57:33 Information Communicating sequential processes Communications protocol Cryptographic primitive Public-key cryptography Model checking Yahalom Burrows–Abadi–Needham logic Protocol Cryptographic protocols Cryptography Data
42	Sensors and Actuators in TCOZ Brendan Mahony1Jin Song Dong2 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2000-06-26 22:43:45 Process calculus Channel Electronics Signal Analog-to-digital converter Control theory Actor model Computer programming Communicating sequential processes Digital signal processing Concurrent computing Computing
43	Computing Laboratory[removed] Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-06-05 08:23:18 Software engineering Process calculi Concurrency Communicating sequential processes JCSP Channel Lock Copyright law of the United States Deadlock Computing Concurrent computing Computer programming
44	Computing Laboratory[removed] Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-04-02 07:46:05 Concurrency control Sun Microsystems Communicating sequential processes Process calculi Monitor Java programming language Thread Java Channel Computing Concurrent computing Computer programming
45	Computing Laboratory 1/3 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2004-01-30 12:25:09 JCSP Occam ALGOL 68 Copyright law of the United States Copyright Kernel panic JCSP re Communicating sequential processes Computing Concurrent computing Procedural programming languages
46	Communicating Process Architectures 2007 Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch IOS Press, 2007 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-02-13 06:46:39 Cross-platform software Procedural programming languages JCSP Process calculi Communicating sequential processes Parallel computing Occam Barrier Go Computing Computer programming Concurrent computing
47	CSP Networking for Java (JCSP.net) Jo Aldous ([removed]) Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2004-01-30 12:22:13 JCSP Occam Channel Java Application programming interface Communicating sequential processes JCSP re Computing Concurrent computing Computer programming
48	Int J Softw Tools Technol Transfer DOI[removed]s10009[removed]FMRCS of Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-19 07:51:12 Railway signalling Communicating sequential processes Interlocking Railroad switch Signalman Transport Land transport Rail transport
49	JID:SCICO AID:1752 /FLA [m3G; v 1.132; Prn:[removed]; 15:03] P[removed]Science of Computer Programming ••• (••••) •••–••• Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-19 08:04:36 Railway signalling Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Transport Land transport Rail transport
50	Safety and Line Capacity in Railways – An Approach in Timed CSP Yoshinao Isobe1 , Faron Moller2 , Hoang Nga Nguyen2 , and Markus Roggenbach2, 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-07-03 05:34:43 Rhythm Interlocking Process calculus Communicating sequential processes Railway signalling Isochrony Phonetics